SafeCer Safety Certification of Software-Intensive Systems with Reusable Components Testing Safe Software with QuickCheck Benjamin Vedder, Thomas Arts and Jonny Vinter

Source URL: www.safecer.eu

Dynamic Test Generation for Large Binary Programs by David Alexander Molnar A.B. (Harvard CollegeM.S. (University of California, Berkeley) 2006

Source URL: www.dmolnar.com

• Software testing
• Search algorithms
• Theoretical computer science
• Fuzz testing
• Hash function
• Algorithm
• Mathematical optimization
• Software bug
• Information retrieval
• Software engineering
• Mathematics

SOFTWARE TESTING, VERIFICATION AND RELIABILITY Softw. Test. Verif. Reliab. 0000; 00:1–34 Published online in Wiley InterScience (www.interscience.wiley.com). DOI: stvr Defect Prediction as a Multi-Objective Opt

Source URL: www.sesa.dmi.unisa.it

Automatic Testing of Sequential and Concurrent Substitutability Michael Pradel Thomas R. Gross

Source URL: mp.binaervarianz.de

• Software engineering
• Object-oriented programming
• Computing
• Computer programming
• Inheritance
• Java
• Method overriding
• Method
• Software framework
• Class
• Constructor
• Is-a

Recommended  resources  helpful  to  addressing  automation  challenges:     Test  Automation   Vance,  Stephen,  Quality  Code:  Software  Testing  Principles,  Practi

Source URL: agiletester.ca

A tale about software profiling, debugging, testing, and visualization Alexandre Bergel et al. University of Chile & Object Profile !

Source URL: grammarware.github.io

THE LOS ALTOS WORKSHOP ON SOFTWARE TESTING THE LAWST HANDBOOK LAWST is Hosted By

Source URL: www.kaner.com

• Meetings
• Management
• Political philosophy
• Politics
• Human communication
• Facilitation
• Facilitator
• Consensus decision-making
• Test automation
• Los Altos
• California
• Software testing

Foreword by Elisabeth Hendrickson Foreword by Johanna Rothman Preface Acknowledgments About the Authors About the Contributors

Source URL: agiletester.rumspeed.net

• Software testing
• Agile software development
• Automation
• Agile testing
• Test automation
• DevOps
• Shift left testing

Revisited: Testing Culture on a Social Coding Site Raphael Pham* , Leif Singer† , Olga Liskin* , Fernando Figueira Filho‡ , Kurt Schneider* * Software Engineering Group Leibniz Universit¨at Hannover, Germany

Source URL: www.se.uni-hannover.de

Performance Regression Testing of Concurrent Classes Michael Pradel EECS Department University of California, Berkeley

Source URL: mp.binaervarianz.de

• Software testing
• Extreme programming
• Psychometrics
• Concurrent computing
• Concurrency control
• Unit testing
• Test-driven development
• Thread safety
• Lock
• Thread
• Regression testing
• Synchronization